An Algebraic Theory of Polymorphic Temporal Media
نویسنده
چکیده
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. In this paper we present a polymorphic data type that captures a broad range of temporal media. We study its syntactic, temporal, and semantic properties, leading to an algebraic theory of polymorphic temporal media that is valid for underlying media types that satisfy specific constraints. The key technical result is an axiomatic semantics for polymorphic temporal media that is shown to be both sound and complete.
منابع مشابه
An algebraic calculation method for describing time-dependent processes in electrochemistry – Expansion of existing procedures
In this paper an alternative model allowing the extension of the Debye-Hückel Theory (DHT) considering time dependence explicitly is presented. From the Electro-Quasistatic approach (EQS) introduced in earlier studies time dependent potentials are suitable to describe several phenomena especially conducting media as well as the behaviour of charged particles (ions) in electrolytes. This leads t...
متن کاملMultiversal Polymorphic Algebraic Theories
We formalise and study the notion of polymorphic algebraic theory, as understood in the mathematical vernacular as a theory presented by equations between polymorphically-typed terms with both type and term variable binding. The prototypical example of a polymorphic algebraic theory is System F, but our framework applies more widely. The extra generality stems from a mathematical analysis that ...
متن کاملExtensions to Study Electrochemical Interfaces - A Contribution to the Theory of Ions
In the present study an alternative model allows the extension of the Debye-Hückel Theory (DHT) considering time dependence explicitly. From the Electro-Quasistatic approach (EQS) done in earlier studies time dependent potentials are suitable to describe several phenomena especially conducting media as well as the behaviour of charged particles in arbitrary solutions acting as electrolytes. Thi...
متن کاملRough ideals based on ideal determined varieties
The paper is devoted to concern a relationship between rough set theory and universal algebra. Notions of lower and upper rough approximations on an algebraic structure induced by an ideal are introduced and some of their properties are studied. Also, notions of rough subalgebras and rough ideals with respect to an ideal of an algebraic structure, which is an extended notion of subalgebras and ...
متن کاملProvide a model of media strategies in the human resource development of oil companies using data theory
Economic development in societies depends on resources (capital, government, human resources) research has shown that role of human resources in human development is very important. However, many factors, including media, which have an awareness-raising mission can be effective in human development. Human development using media requires a strategy, but in our country there is a lack of researc...
متن کامل